- ensemble semi-ordonné
- мат. частично упорядоченное множество
Dictionnaire polytechnique Français-Russe. 2013.
Dictionnaire polytechnique Français-Russe. 2013.
Ensemble récursivement énumérable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
Semi-pélagianisme — Sarcophage dit de Jean Cassien à l abbaye Saint Victor de Marseille Le semi pélagianisme est une doctrine théologique chrétienne développée dans le sud de la Gaule au Ve siècle par Jean Cassien, Vincent de Lérins et Salvien de Marseille,… … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… … Wikipédia en Français
Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… … Wikipédia en Français
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces … Wikipédia en Français
LINÉAIRE ET MULTILINÉAIRE (ALGÈBRE) — LINЙAIRE ET MULTILINЙAIRE (ALGИBRE) L’algèbre linéaire sur un corps commutatif, telle qu’on la trouvera présentée ici, s’est progressivement dégagée, au cours du XIXe siècle et au début du XXe, de la théorie des équations linéaires (systèmes de n … Encyclopédie Universelle
TRANSITION ORDRE-DÉSORDRE — Dans un gaz idéal, les atomes (ou les molécules) sont distribués parfaitement au hasard les uns par rapport aux autres: c’est un modèle de désordre géométrique parfait. Dans un cristal idéal, l’arrangement des atomes donne, au contraire, l’image… … Encyclopédie Universelle
MACHINES-OUTILS — L’expression «machine outil» contient en elle même sa définition: un matériel ayant pour but de faire mouvoir l’outil par une transmission actionnée au moyen d’un moteur, au lieu de la laisser manier par la main de l’ouvrier. D’une manière plus… … Encyclopédie Universelle